(EMACSSOURCES): Add gpl.texi.

diff --git a/man/Makefile.in b/man/Makefile.in
index f52ac990b7c938730cb06f1bb0e9983ff1262ae6..00088b74b5140a8f5b3c0e708d5684436a4d1e44 100644 (file)
--- a/man/Makefile.in
+++ b/man/Makefile.in
@@ -76,6 +76,7 @@ EMACS_XTRA=\
 EMACSSOURCES= \
        ${srcdir}/emacs.texi \
        ${srcdir}/doclicense.texi \
+       ${srcdir}/gpl.texi \
        ${srcdir}/screen.texi \
        ${srcdir}/commands.texi \
        ${srcdir}/entering.texi \